abstract class $RO_ARR{ETP} < $CONTAINER{ETP}

****	A read-only array which is the interface to other algorithm classes

---

Ancestors

$CONTAINER{_}

$ELT{_}

$ELT

Descendants

$ARR{_}	ARRAY{_}	AM_CALL_EXPR	AM_ITER_CALL_EXPR
AM_EXT_CALL_EXPR	AM_BND_ROUT_CALL_EXPR	AM_BND_ITER_CALL_EXPR	AM_ROUT_CALL_EXPR
LAYOUT_ARRAY	AM_BND_CREATE_EXPR	AM_ARRAY_EXPR	AM_ROUT_DEF
CODE_FILE_ARRAY	LAYOUT_ARR	TP_ARRAY	FLIST{_}
FSTR

---

Public

Features

aget(i: INT): ETP;

****	pre has_ind(i)

has_ind(i: INT): BOOL;

****	return 0<=i<size This method could actually be implemented at this level

ind!: INT;

****	post 0<=result<size Returns all the indices, which are the integers between 0 and size - 1

---